41. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده : Joao Leite...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
42. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
43. Distributed Programmin
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
رده :
E-BOOK
44. Domain-specific modelin
پدیدآورنده : / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers),Computer software--Development
رده :
QA
,
76
.
7
,.
K45
,
2008eb
45. Domain-specific modeling
پدیدآورنده : / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Computer software- Development
رده :
QA76
.
7
.
K45
2008
46. Eclipse TEA revealed :
پدیدآورنده : Markus Duft.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eclipse (Electronic resource),Eclipse (Electronic resource),Application software.,Application software.,Computer programming-- software development.,COMPUTERS-- Software Development & Engineering-- General.,Programming & scripting languages: general.
رده :
QA76
.
76
.
A65
47. Eclipse modeling project :
پدیدآورنده : Richard C. Gronback.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eclipse (Electronic resource),Eclipse (Electronic resource),Eclipse (Electronic resource),Computer software-- Development.,Programming languages (Electronic computers),Computer Science.,Computer software-- Development.,Eclipse 3,Engineering & Applied Sciences.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
D47
G785
2009
48. Erlang and Elixir for Imperative Programmers
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Elixir (Computer program language),ERLANG (Computer program language),Programming languages (Electronic computers)
رده :
QA76
.
73
.
E75
49. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2004
50. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2005
51. Essential Linux fast
پدیدآورنده : Ian Chivers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux (Computer file),Linux.,Operating systems (Computers)
رده :
QA76
.
76
.
O63
I263
2001
52. Essential.NET
پدیدآورنده : / Don Box, with Chris Sells
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
رده :
QA76
.
76
.
M52
,
B69
2003
53. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
54. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
55. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
56. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
57. Fundamentals of embedded software
پدیدآورنده : / Daniel W. Lewis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Embedded computer systems--Programming,C (Computer program language),Assembly languages (Electronic computers)
رده :
TK7895
F94L
2002
58. Fundamentals of embedded software :
پدیدآورنده : Daniel W. Lewis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Assembly languages (Electronic computers),C (Computer program language),Embedded computer systems-- Programming
رده :
TK7895
.
E42
L49
2002
59. Fundamentals of embedded software :where C and assembly meet
پدیدآورنده : Lewis, D. W. )Daniel Wesley(
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : Programming ، Embedded computer systems,، C )Computer program language(,، Assembly languages )Electronic computers(
رده :
TK
7895
.
E42L49
2002
60. Guide to Scientific Computing in C++ /
پدیدآورنده : by Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6-76
.
66
